1. A Decade of Concurrency Reflections and Perspectives :
پدیدآورنده : edited by J.W. Bakker, W.-P. Roever, G. Rozenberg.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
2. Autonomous Systems :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automation.,Computer science.,Engineering.,Operating systems (Computers),Software engineering.,Structural control (Engineering),Artificial intelligence.,Automation.,Automation.,Computer science.,Engineering.,Ingénierie.,Intelligent control systems.,Operating systems (Computers),Software engineering.,Structural control (Engineering)
رده :
Q334
.
A98
2008
3. Compiler Technology
پدیدآورنده : by Derek Beng Kee Kiong.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
4. Cooperating Heterogeneous Systems
پدیدآورنده : by David G. Schwartz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Operating systems (Computers),Software engineering.
5. Die 32-Bit-Expedition:
پدیدآورنده : von Thomas Lauer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
76
.
O63
V668
1993
6. Die Schnittstellen von UNIX-Programmen :
پدیدآورنده : von Reinhard Fößmeier.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
8
.
U65
V667
1991
7. Die X/Motif Umgebung :
پدیدآورنده : von Robert Barton.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
TK7874
.
6
V667
1994
8. Echtzeitaspekte bei der Koordinierung Autonomer Systeme
پدیدآورنده : Peter Holleczek, Birgit Vogel-Heuser (Hrsg.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks.,Computer science.,Operating systems (Computers),Software engineering.
9. Euro-Par 2011 Parallel Processing
پدیدآورنده : edited by Emmanuel Jeannot, Raymond Namyst, Jean Roman.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Electronic data processing.,Operating systems (Computers),Software engineering.
10. Exploring the Raspberry Pi 2 with C++
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.,Computer Science.,Operating Systems.,Software Engineering.
رده :
QA76
.
758
11. Formal techniques for distributed systems :
پدیدآورنده : Holger Giese, Grigore Rosu (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Distributed operating systems (Computers) -- Congresses.,Formal methods (Computer science) -- Congresses.,software engineering.
12. Keine Angst vor UNIX/Linux :
پدیدآورنده : von Christine Wolfinger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
13. Keine Angst vor UNIX/Linux :
پدیدآورنده : von Christine Wolfinger.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
14. Languages and Compilers for Parallel Computing :
پدیدآورنده : edited by Hironori Kasahara, Keiji Kimura.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
58
E358
2013
15. Linux- und Open-Source-Strategien
پدیدآورنده : Thorsten Wichmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information resources management.,Operating systems (Computers),Software engineering.
16. Mac OS X Tiger :
پدیدآورنده : Rafael Kobylinski.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
76
.
O63
R343
2006
17. NASA Formal Methods :
پدیدآورنده : edited by Guillaume Brat, Neha Rungta, Arnaud Venet.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
F67
E358
2013
18. Object-Based Models and Languages for Concurrent Systems :
پدیدآورنده : edited by Paolo Ciancarini, Oscar Nierstrasz, Akinori Yonezawa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
64
E358
1995
19. Object Technologies for Advanced Software :
پدیدآورنده : edited by Shojiro Nishio, Akinori Yonezawa.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
64
E358
1993
20. PRODIA und PRODAT :
پدیدآورنده : herausgegeben von Detlef Krömker, Hartwig Steusloff, Hans-Peter Subel.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Operating systems (Computers),Software engineering.
رده :
QA76
.
9
.
Q4
H473
1989
